Project-Team:PI.R2

Inria | Raweb 2013 | Presentation of the Project-Team PI.R2 | PI.R2 Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

Title: Proof theory and functional programming languages (SEMACODE)
Inria principal investigator: Alexis SAURIN
International Partner:
- Institution: University of Oregon (United States)
- Laboratory: Computer and Information Science Department
- Researcher: Zena ARIOLA
International Partner:
- Institution: University of Novi Sad
- Laboratory: Faculty of Engineering
- Researcher: Silvia GHILEZAN
Duration: 2011 - 2013
See: http://www.pps.univ-paris-diderot.fr/~saurin/EA-SEMACODE

Inria International Partners

We are setting up a partnershiop with the University of Wroclaw (our interlocutors are D. Biernacki and M. Biernacka).

Participation In other International Programs

Pierre-Louis Curien participates to the ANR International French-Chinese project LOCALI (coordinated by Gilles Dowek), and to a MathAmSud project in algebraic operads with the university of Talca (Chile).

Other international cooperations

MIT (Adam Chlipala, Jason Gross).

Previous |

Home | Next next